Formal verification

Results: 829



#Item
41

Formal Verification of Cryptography (I) -- Introduction to basic concepts in cryptography Yusuke Kawamoto INRIA Saclay & LIX, École Polytechnique, France In University of Tokyo

Add to Reading List

Source URL: www.cs.bham.ac.uk

- Date: 2014-05-18 16:48:57
    42

    Formal Verification of Processes Ulrich Sch¨opp Master of Science School of Computer Science

    Add to Reading List

    Source URL: www2.tcs.ifi.lmu.de

    - Date: 2005-11-20 08:43:20
      43

      Quantitative verification of weighted Kripke structures Patricia Bouyer, Patrick Gardy, Nicolas Markey LSV – CNRS & ENS Cachan – France Abstract. Extending formal verification techniques to handle quantitative aspec

      Add to Reading List

      Source URL: www.lsv.ens-cachan.fr

      - Date: 2014-07-25 05:56:10
        44

        Formal Semantics & Verification for the Border Gateway Protocol Konstantin Weitz Doug Woos

        Add to Reading List

        Source URL: www.cs.washington.edu

        - Date: 2016-08-17 13:59:37
          45

          Formal Verification of Stability Properties of Cyber-physical Systems Matthew Chan, Daniel Ricketts, Sorin Lerner, Gregory Malecha University of California, San Diego , ,

          Add to Reading List

          Source URL: ucsd-pl.github.io

          - Date: 2016-10-03 11:54:14
            46

            Formal Verification of Distributed Aircraft Controllers∗ Sarah M. Loos David Renshaw André Platzer

            Add to Reading List

            Source URL: symbolaris.com

            - Date: 2014-08-04 10:09:28
              47

              Formal Semantics and Automated Verification for the Border Gateway Protocol Konstantin Weitz Doug Woos

              Add to Reading List

              Source URL: conferences.sigcomm.org

              - Date: 2016-07-31 22:09:05
                48

                FORMAL VERIFICATION OF DISTRIBUTED ALGORITHMS FOR STENCIL PROBLEMS THOMAS GRÉGOIRE Abstract. This paper is a technical report about a three month internship under the supervision of Professor Adam Chlipala at CSAIL1 , M

                Add to Reading List

                Source URL: tgregoire.info

                - Date: 2014-04-11 10:32:27
                  49

                  Formal verification of distributed algorithms for stencil problems Thomas Grégoire September 4, 2013

                  Add to Reading List

                  Source URL: tgregoire.info

                  - Date: 2014-04-11 10:32:27
                    50

                    Formal verification of a static analyzer: abstract interpretation in type theory Xavier Leroy Inria Paris-Rocquencourt TYPES meeting,

                    Add to Reading List

                    Source URL: pauillac.inria.fr

                    - Date: 2015-10-19 04:32:35
                      UPDATE